CONCEITO CLÁSSICO E POST-CLÁSSICO DO JUS NATURALE E DO JUS GENTIUM
نویسندگان
چکیده
منابع مشابه
Jus Measuring: Algorithm and Complexity
We study the water jug problem and obtain new lower and upper bounds on the minimum number of measuring steps. These bounds are tight and significantly improve previous results. We prove that to compute the crucial number μc(x) (i.e., min x=x·c ||x||1, where c ∈ N, x ∈ N, ||x||1 = ∑n i=1 |xi|) for estimating the minimum measuring steps is indeed a problem in P . Moreover, we prove that testing ...
متن کاملCafé Jus: an Electronic Journals User Survey
During 1996, the number of scholarly periodicals available in electronic form increased rapidly. The Café Jus project took advantage of this critical mass of electronic journals to mount a major user study with taught postgraduate students, research students and staff in various disciplines at Loughborough University. The main conclusions were that low-level technical problems are still a deter...
متن کاملQEDS: Um Simulador Clássico para Distinção de Elementos Quântico
The problem of deciding whether all N elements in a list are distinct requires Ω(N) queries in the classical setting. A quantum algorithm based in quantum walk on a Johnson graph improves this bound to O(N) queries. The quantum algorithm for element distinctness performs several steps of calculations each involving nontrivial superpositions of states. For this reason, it is difficult to study t...
متن کاملAll That Jazz : Três Aplicações Do Conceito
The theme of improvisation constitutes an emerging topic in the field of management and organizations. The concept entered organization studies in association with the jazz metaphor but, due to the growing number of empirical studies, it is acquiring an increasing level of prominence and instrumental value. This article discusses the relationship between jazz music and management studies. It st...
متن کاملJuS: Squeezing the Sense out of JavaScript Programs
We introduce JuS (JavaScript under Scrutiny), a first step towards a static-analysis tool for JavaScript based on a program logic in the style of separation logic. In particular, we focus on reasoning automatically about the JavaScript variable store. Because of prototype-based inheritance and with statements, even reasoning about variables is not trivial in JavaScript. We evaluate our tool on ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revista da Faculdade de Direito UFPR
سال: 1953
ISSN: 2236-7284,0104-3315
DOI: 10.5380/rfdufpr.v1i0.6170